cap patterns in 1ml

--===============4635231045618441843==
Content-Type: multipart/alternative; boundary=001a113eca1855071105297e29e4

--001a113eca1855071105297e29e4
Content-Type: text/plain; charset=UTF-8

hi so i've been trying to apply cap patterns to 1ml,
I posted a repository of various things here..

https://gitlab.com/ratmice/1ml-stuff/tree/master
https://gitlab.com/ratmice/1ml-stuff

currently just includes attenuation (in ref.1ml)
and the sealer/unsealer thing i'd posted earlier...

but there is some other non-cap stuff like a type for value discrimination,
and other random junk
the prototype 1ml compiler and papers are available from

https://www.mpi-sws.org/~rossberg/1ml/

--001a113eca1855071105297e29e4
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>hi so i&#39;ve been trying to apply cap patterns to 1=
ml,<br></div>I posted a repository of various things here..<br><div><div><b=
r><a href=3D"https://gitlab.com/ratmice/1ml-stuff/tree/master">https://gitl=
ab.com/ratmice/1ml-stuff/tree/master</a><br><a href=3D"https://gitlab.com/r=
atmice/1ml-stuff">https://gitlab.com/ratmice/1ml-stuff</a><br><br></div><di=
v>currently just includes attenuation (in ref.1ml) <br>and the sealer/unsea=
ler thing i&#39;d posted earlier...<br><br></div><div>but there is some oth=
er non-cap stuff like a type for value discrimination,<br>and other random =
junk<br>the prototype 1ml compiler and papers are available from<br><br><a =
href=3D"https://www.mpi-sws.org/~rossberg/1ml/">https://www.mpi-sws.org/~ro=
ssberg/1ml/</a><br><br><br></div></div></div>

--001a113eca1855071105297e29e4--

--===============4635231045618441843==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk

--===============4635231045618441843==--