El Pin Al
Results
4
repositories owned by
El Pin Al
bright-ml
79
Stars
1
Forks
Watchers
A statically-typed programming language based on "F-ing modules"
modules
28
Stars
0
Forks
Watchers
Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
seqmod
20
Stars
0
Forks
Watchers
Full implementation of F-ing Modules, with the power of sequent calculus