~cypheon/rapid

ref: 9928b2ee6ed80e49271a11f7254409cdad7a574f rapid/rapidc.ipkg -rw-r--r-- 100 bytes
9928b2ee — Johann Rudloff [refactor] Codegen: use simpler state modification methods 6 months ago
                                                                                
1
2
3
4
5
6
7
8
package rapidc

depends = idris2, network

sourcedir = "src"

main = Rapid.Main
executable = rapidc