We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Swift type modelling the success/failure of arbitrary operations.
Swift 2.5k 228
Lazy streams in Swift.
Swift 81 1
Flexible XCTest assertions in Swift.
Swift 40 4
Tesseract’s evaluation and type system.
Swift 30 1
An implementation of a dependently-typed intermediate language used by Tesseract.
Swift 30
Binary trees in Swift.
Swift 25
Fast, flexible, fused syntax operations for Haskell
Another experiment in dependently-typed languages
http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.pdf
An experiment in dependent type systems
Disjoint sets (a.k.a union-find sets) in Swift.