[isabelle-dev] New Code Generator Target: F#

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Fri Nov 4 20:40:25 CET 2022

Hi all,

after the Isabelle release there might now be an opportunity to revive 
this thread.

Meanwhile in personal conversation Tobias and me finally agreed that, 
concerning code generation itself, the best solution is to follow 
Achim’s original proposal and put the F# serializer into the distribution.

@Makarius – while the .NET component setup looks promising for me, I am 
no expert in that area and I think we need your final judgement on this.


Am 26.08.22 um 00:06 schrieb Makarius:
> On 25/08/2022 12:55, Achim D. Brucker wrote:
>> Still, as Isabelle is an Open Source project, I would have hoped that 
>> "pull requests"
>> (to use the github terminology) are, in principle, welcomed.
> No, we neither have git nor pull-requests. Instead, README_REPOSITORY 
> and the actual hg history should tell a lot how things work.
> Beyond that, it is better to discuss things with people who are 
> responsible for the relevant part of the Isabelle platform, before doing 
> too much on your own account.
> Incidently, the Phabricator guys (1-3 people max.) had long texts in a 
> similar direction (before they had to give up eventually, not being a 
> huge software corporation): 
> https://isabelle-dev.sketis.net/book/phabcontrib/article/contributing_code
> Note again that I am in release mode, so anything that is not relevant 
> for this release has to wait until that is published. (I am not going to 
> fork/branch/merge myself.)
>      Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA707172232CFA4E9.asc
Type: application/pgp-keys
Size: 6230 bytes
Desc: OpenPGP public key
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20221104/e1de14fe/attachment.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20221104/e1de14fe/attachment.sig>

More information about the isabelle-dev mailing list