issues
search
typedefs
/
pm
project management
GNU Affero General Public License v3.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Maybe interesting storage format
#13
wires
opened
5 years ago
0
Generate JS validation code
#12
wires
opened
6 years ago
0
Move from binary to finite (>2) (co)products
#11
wires
opened
6 years ago
0
Universe of codes for mutually-recursive families of types
#10
wires
opened
6 years ago
0
F-Algebras on nominal sets may solve aliasing
#9
FabrizioRomanoGenovese
opened
6 years ago
0
Convert to Literate Program
#8
wires
opened
6 years ago
1
Understand F-Algebra's
#7
wires
opened
6 years ago
0
Setup video shit for Open Games workshop
#6
wires
closed
6 years ago
1
Code generation for language other than Idris
#5
wires
opened
6 years ago
0
Binary serialisation
#4
wires
opened
6 years ago
1
Idris type provider
#3
wires
opened
6 years ago
0
Upgrade upgraded parser
#2
wires
opened
6 years ago
0
Upgrade parser
#1
wires
opened
6 years ago
0