n
ndmitchell.github.io
public
0 stars
1 forks
4 issues
Commits
List of commits on branch master.Unverified
68d87ab678c55c45908394ca42a61f5a9436e31aAdd the DAML paper
nndmitchell committed 2 years ago
Unverified
0ec5bef4672835863b05ceb8f0de86e3da62bfd5Read and write as UTF8
nndmitchell committed 2 years ago
Unverified
1d52532b05c5227259ca9f52ec8d6df13a856901Add a .gitignore
nndmitchell committed 2 years ago
Unverified
30bde6c6a37fc61a4751e288d8d1d062e5fb38c9Add the proof of rattle paper
nndmitchell committed 3 years ago
Unverified
314eb8fa71776dc878c392116f97a85187e1d585Add the paper on implementing a build system monadically
nndmitchell committed 3 years ago
Unverified
092943794c76d2db0a976bcc5db041b4a06b011fDeal with newer versions of extra
nndmitchell committed 3 years ago