<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<div style="margin:0px; font-size:12pt; font-family:Calibri,Arial,Helvetica,sans-serif; color:black; background-color:white">
<span style="margin:0px">Hello,</span><br>
</div>
<div style="margin:0px; font-size:15px; font-family:Calibri,Arial,Helvetica,sans-serif; color:rgb(32,31,30); background-color:white">
<div style="margin:0px">
<div style="margin:0px; font-size:12pt; color:black">I am working on a subtyping calculus of constructions: <a href="https://github.com/jfaure/Nimzo" id="LPlnk143391">https://github.com/jfaure/Nimzo</a>, based on Algebraic Subtyping [1]</div>
<div style="margin:0px; font-size:12pt; color:black"><br>
</div>
<div style="margin:0px; font-size:12pt; color:black">The goal is to leverage the synthesis of subtyping with the CoC for general purpose programming, both for the usual correctness guarantees, but additionally exceptional type inference and powerful optimizations
by using subtyping relations on dependent types.</div>
<div style="margin:0px; font-size:12pt; color:black"><br>
</div>
<div style="margin:0px; font-size:12pt; color:black">I spent the last year researching the theory and practice for this, and with the compiler at now just over 3000 lines of Haskell, I feel like I am no longer advancing as quickly as I would like, so if anyone
is interested in helping create this language of the future, please get in touch !</div>
<div style="margin:0px; font-size:12pt; color:black"><br>
</div>
<div style="margin:0px; font-size:12pt; color:black">
<div style="margin:0px">[1]: <a href="https://www.cs.tufts.edu/~nr/cs257/archive/stephen-dolan/thesis.pdf" id="LPlnk808381">https://www.cs.tufts.edu/~nr/cs257/archive/stephen-dolan/thesis.pdf</a></div>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><span style="margin:0px; color:black; background-color:white">James Faure (Discord: J4#0303)</span></div>
</div>
</div>
<br>
</div>
</body>
</html>