An interpreter of Hagino's Categorical Programming Language (CPL). Delimited continuations and dynamically scoped variables A socker wrapper that makes the IO of sockets much cleaner A markdown-like markup language designed for blog posts Include images in blog posts with inline diagrams code A tool for posting Haskelly articles to blogs Libary to interface with the NCBI blast REST interface A module to aid in the (de)serialisation of binary data The Bidirectional Generic Update Language Strongly typed Attribute Grammars implemented using type-level programming. A library to generate Netlist code from Arrow descriptions. Example implementation of Algorithm W for Hindley-Milner A functional reactive site management/generation framework. A dependently typed functional programming language and proof assistant Assessment services for the Advise-Me project Dynamic programming for Set data structures. network drive) or it is expected ffmpeg is always installed in the same place on all machines.Here follow all the candidate package versions on Hackage. Please note this option may be useful only if ffmpeg path points to a shared resource as well (e.g. -configApplicationData - in the AppData\Roaming folder (this means the file is copied when user logs in on another machine in domain environment).-configLocalApplicationData - in the AppData\Local folder (this is now the default).-configCurrentFolder - in the same folder where exe file is located (old behavior).Feel free to copy over your previous configuration file if necessary.Īdditionally, there are three new command line options available that control placement of the configuration file: Starting from this release, default location of configuration file is user's local AppData folder (usually C:\Users\\AppData\Local\SimpleVideoCutter) which is expected always be writable. Fixed #39 - possibility to store configuration file in a separate, writable directory.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |