Andrii Kurdiumov

Consider this module ``` module FStar.Preorder type relation (a : Type) = a -> a -> Type0 let reflexive (#a:Type) (rel:relation a) = forall (x:a). rel x x ``` Hover...

Make code NativeAOT compatible

1

I know that C# files are autogenerated, but in case somebody what to use it without waiting for change in code gen tooling. This PR has 3 changes, all of...

Where is stable version of ClangSharp?

3

I found that it's wierd that at version 14.x ClangSharp still does not have any `stable` version on Nuget. I **highly** doubt that this project **that much** immature. Even if...

This is example of work what can be done to start moving into direction of .NET Core. That big work, but somethings which allow. I attempt to split onto commits,...

Add importing of netmodule

6

Closes #818

Take a look at this snippet ``` using Mono.Cecil; var fooModule = ModuleDefinition.CreateModule("Foo", ModuleKind.NetModule); var foo = new TypeDefinition("", "Foo", 0, fooModule.TypeSystem.Object); fooModule.Types.Add(foo); var mainModule = ModuleDefinition.CreateModule("Main", ModuleKind.NetModule); mainModule.ModuleReferences.Add(fooModule); var...