We are hiring ! See our job offers.
swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
History
Tip revision: b6407e0f026cf5491ca5ed0a35ea5cf316ebe8ca authored by Anish Tondwalkar on 21 May 2021, 03:15:25 UTC
formatted for submission
Tip revision: b6407e0
File Mode Size
Docker
bin
fstar-tests
lib
liquid-fixpoint @ 163b815
mochi-tests
scripts
tests
.gitignore -rw-r--r-- 35 bytes
.gitmodules -rw-r--r-- 109 bytes
LICENSE -rw-r--r-- 1.0 KB
Makefile -rw-r--r-- 135 bytes
README.md -rw-r--r-- 22.9 KB
Setup.hs -rw-r--r-- 46 bytes
cc-by.pdf -rw-r--r-- 57.0 KB
darts-logo-bw.pdf -rw-r--r-- 17.4 KB
darts-v2021.cls -rw-r--r-- 34.4 KB
lipics-v2021.cls -rw-r--r-- 45.8 KB
mist.cabal -rw-r--r-- 2.8 KB
mystylefile.pandoc -rw-r--r-- 237 bytes
orcid.pdf -rw-r--r-- 86.6 KB
stack.yaml -rw-r--r-- 343 bytes
stack.yaml.lock -rw-r--r-- 2.0 KB
template.latex -rw-r--r-- 14.0 KB
tutorial.tex -rw-r--r-- 44.3 KB

README.md

back to top